Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
651	Functional Reactive Types Alan Jeffrey Alcatel-Lucent Bell Labs Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2014-03-31 14:30:31 Logic Linguistics Philosophy Linear temporal logic Temporal logic Interpretation
652	J. Korean Math. Soc[removed]), No. 6, pp. 1313–1327 SPLIT QUATERNIONS AND ROTATIONS IN SEMI Add to Reading List Source URL: www.mathnet.or.kr Language: English - Date: 2008-01-02 02:51:17 Special relativity Algebra Split-quaternion Symbol Linear temporal logic Quaternions Abstract algebra Geometry
653	Inclusion Logic and Fixed Point Logic Pietro Galliani1 and Lauri Hella2 1 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2013-08-27 05:13:12 Model theory First-order logic FO Function Constructible universe Structure Symbol Dependence logic Linear temporal logic Mathematics Mathematical logic Logic
654	Economics 204 Summer/Fall 2011 Lecture 7–Tuesday August 2, 2011 Section 2.9. Connected Sets Add to Reading List Source URL: elsa.berkeley.edu Language: English - Date: 2011-08-02 16:06:18 Mathematical optimization Hemicontinuity Continuous function Function Semi-continuity Limit Entailment Linear temporal logic Spectral theory of ordinary differential equations Mathematics Mathematical analysis Logic
655	Quantum Field Theory I Chapter 10 Add to Reading List Source URL: www.itp.phys.ethz.ch Language: English - Date: 2013-02-28 05:45:04 S-matrix LSZ reduction formula Propagator Hamiltonian Hilbert space Μ operator Feynman diagram Spectral theory of ordinary differential equations Linear temporal logic Physics Quantum mechanics Quantum field theory
656	Tutorial 18: The Jacobian Formula 1 Add to Reading List Source URL: www.probability.net Language: English - Date: 2006-10-29 01:18:42 Differential geometry Functional analysis Fourier analysis Linear temporal logic Pullback Mathematical analysis Operator theory Normed vector space
657	Tutorial 18: The Jacobian Formula 1 Add to Reading List Source URL: www.probability.net Language: English - Date: 2006-10-29 01:18:42 Differential geometry Functional analysis Fourier analysis Linear temporal logic Pullback Mathematical analysis Operator theory Normed vector space
658	Temporal logic in system analysis (4) CTL logic Add to Reading List Source URL: staff.iiar.pwr.wroc.pl Language: English - Date: 2013-04-14 12:56:28 Computation tree logic Linear temporal logic Logic Science Mathematical logic CTL* Temporal logic Logic in computer science Mathematics
659	Temporal Logics • CTL: definition, relationship between operators, adequate sets, specifying Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2007-09-26 19:39:59 Mathematics CTL* Applied mathematics Sheaf Logic Linear temporal logic Temporal logic Logic in computer science Computation tree logic
660	Chapter 15 OF Add to Reading List Source URL: www1.univ-ag.fr Language: English - Date: 2012-06-20 18:18:19 Kullback–Leibler divergence Divergence Linear temporal logic Mathematical logic Geometry Statistics Bregman divergence